ma{-}interface{-}kinds($I$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$concat(map($\lambda$$i$.($I$($i$).2).1;$I$.1))